TSTP Solution File: DAT163^1 by Mace4---1109a